シリコンコンパイラ 論理合成とその将来